Interpretability and Equivalence in Quantified Equilibrium Logic
نویسندگان
چکیده
The study of synonymy among propositional theories in equilibrium logic, begun in [36], is extended to the first-order case.
منابع مشابه
Characterising equilibrium logic and nested logic programs: Reductions and complexity,
Equilibrium logic is an approach to nonmonotonic reasoning that extends the stable-model and answer-set semantics for logic programs. In particular, it includes the general case of nested logic programs, where arbitrary Boolean combinations are permitted in heads and bodies of rules, as special kinds of theories. In this paper, we present polynomial reductions of the main reasoning tasks associ...
متن کاملSynonymus Theories in Answer Set Programming and Equilibrium Logic
The study of strong equivalence between logic programs or nonmonotonic theories under answer set semantics, begun in [18], is extended to the case where the programs or theories concerned are formulated in different languages. We suggest that theories in different languages be considered equivalent in the strong sense or synonymous if and only if each is bijectively interpretable (hence transla...
متن کاملOn the Relationships among Quantified Autoepistemic Logic, Its Kernel, and Quantified Reflective Logic
A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if...
متن کاملOn the Relationship between Quantified Reflective Logic and Quantified Default Logic
ON THE RELATIONSHIP BETWEEN QUANTIFIED REFLECTIVE LOGIC AND QUANTIFIED DEFAULT LOGIC Frank M. Brown Abstract: Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold. This is done by representing both the fixed-point equation for Reflective Logic and the fixed-point equation fo...
متن کاملEpistemic Equilibrium Logic
We add epistemic modal operators to the language of here-and-there logic and define epistemic hereand-there models. We then successively define epistemic equilibrium models and autoepistemic equilibrium models. The former are obtained from here-and-there models by the standard minimisation of truth of Pearce’s equilibrium logic; they provide an epistemic extension of that logic. The latter are ...
متن کامل